Filip Najman

Professor

Department of Mathematics
Faculty of Science
University of Zagreb

Bijenička cesta 30
10000 Zagreb
soba: 307
fnajman@math.hr
Konzultacije: po dogovoru.

HRZZ project

I am an editor in the following journals:

I maintain the following webpages:

I was one of the organizers of the following conferences:

Formalizations in Lean: